%%This is a very basic article template.
%%There is just one section and two subsections.
\documentclass[a4paper,twocolumn]{article} 

\usepackage[left=2cm,top=2.5cm,right=2cm,bottom=2.5cm,nohead]{geometry}
\usepackage{amsmath}
\usepackage[latin1]{inputenc}
\usepackage{listings}
\usepackage{hyperref}   % use for hypertext links, including those to external documents and URLs
% *** GRAPHICX ***
%   For the insertion of postscript figures
\usepackage{graphicx}


\renewcommand\lstlistingname{Example}% default is Listing

\begin{document} 

\title{Verifying Pattern Matching with Guards in Scala}

\author{\smallskip Mirco Dotta, Philippe Suter\\\textsc{\small{Software Analysis and Verification '07}}\\ \textsc{\small{\'Ecole Polytechnique F\'ed\'erale de Lausanne}}\\ \texttt{$\{$mirco.dotta, philippe.suter$\}$@epfl.ch}}

\maketitle 

\input{listingsScala}
\lstset{aboveskip=\bigskipamount,belowskip=\bigskipamount,frame=tb,language=scala,columns=fullflexible,showstringspaces=false,mathescape=true,captionpos=b}

\input{0-abstract}

\input{1-introduction}

\input{2-pattern-matching-in-scala}

\input{3-generating-formulae}

\input{4-current-implementation}

%\input{5-related-work}

\input{5-6-conclusion}

\input{6-future-work}

\input{7-acknowledgments}

\input{99-bibliography}
\end{document}
